2 detailed summary tables of results

 2.1 Detailed conclusion table per each integral for all CAS systems
 2.2 Detailed conclusion table specific for Rubi results

2.1 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)











Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 94 97 130 1 107 132 0
normalized size 1 1. 1. 1.03 1.38 0.01 1.14 1.4 0.
time (sec) N/A 0.145 0.034 0.002 1.348 0.179 0.148 0.226 0.




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 70 73 95 1 76 99 0
normalized size 1 1. 1. 1.04 1.36 0.01 1.09 1.41 0.
time (sec) N/A 0.102 0.023 0.001 1.34 0.178 0.13 0.236 0.




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 50 49 65 1 53 68 0
normalized size 1 1. 1. 0.98 1.3 0.02 1.06 1.36 0.
time (sec) N/A 0.072 0.017 0.001 1.397 0.177 0.111 0.227 0.




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 28 25 32 1 26 35 0
normalized size 1 1. 1. 0.89 1.14 0.04 0.93 1.25 0.
time (sec) N/A 0.037 0.009 0.002 1.345 0.176 0.084 0.235 0.




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 40 45 0 1 82 46 34
normalized size 1 1. 1. 1.12 0. 0.02 2.05 1.15 0.85
time (sec) N/A 0.052 0.039 0.008 0. 0.207 1.57 0.231 8.762




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 63 68 0 1 112 77 51
normalized size 1 1. 1. 1.08 0. 0.02 1.78 1.22 0.81
time (sec) N/A 0.062 0.075 0.01 0. 0.213 2.071 0.236 9.607




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 82 90 0 1 150 105 78
normalized size 1 1. 0.89 0.98 0. 0.01 1.63 1.14 0.85
time (sec) N/A 0.086 0.102 0.011 0. 0.211 2.746 0.232 12.902




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 122 122 122 125 167 1 136 177 0
normalized size 1 1. 1. 1.02 1.37 0.01 1.11 1.45 0.
time (sec) N/A 0.169 0.039 0.002 1.349 0.18 0.167 0.233 0.




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 82 87 111 1 97 123 0
normalized size 1 1. 1. 1.06 1.35 0.01 1.18 1.5 0.
time (sec) N/A 0.116 0.03 0.002 1.352 0.18 0.139 0.236 0.




















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 50 49 65 1 53 68 0
normalized size 1 1. 1. 0.98 1.3 0.02 1.06 1.36 0.
time (sec) N/A 0.07 0.014 0.002 1.344 0.179 0.112 0.226 0.




















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 59 95 0 1 172 97 0
normalized size 1 1. 0.94 1.51 0. 0.02 2.73 1.54 0.
time (sec) N/A 0.097 0.082 0.005 0. 0.21 2.105 0.249 0.




















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 89 129 0 1 236 128 0
normalized size 1 1. 1.09 1.57 0. 0.01 2.88 1.56 0.
time (sec) N/A 0.218 0.099 0.012 0. 0.21 3.395 0.235 0.




















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 116 121 147 0 1 223 170 105
normalized size 1 1. 1.04 1.27 0. 0.01 1.92 1.47 0.91
time (sec) N/A 0.182 0.172 0.012 0. 0.246 4.61 0.232 23.06




















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 154 154 161 177 225 1 189 252 0
normalized size 1 1. 1.05 1.15 1.46 0.01 1.23 1.64 0.
time (sec) N/A 0.23 0.051 0.002 1.352 0.18 0.194 0.226 0.




















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 122 122 122 125 167 1 136 177 0
normalized size 1 1. 1. 1.02 1.37 0.01 1.11 1.45 0.
time (sec) N/A 0.168 0.039 0.002 1.367 0.179 0.163 0.225 0.




















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 70 73 95 1 76 99 0
normalized size 1 1. 1. 1.04 1.36 0.01 1.09 1.41 0.
time (sec) N/A 0.104 0.023 0. 1.359 0.178 0.135 0.236 0.




















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 93 161 0 1 240 176 0
normalized size 1 1. 0.95 1.64 0. 0.01 2.45 1.8 0.
time (sec) N/A 0.147 0.099 0.004 0. 0.21 2.653 0.236 0.




















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 107 205 0 1 313 205 0
normalized size 1 1. 1. 1.92 0. 0.01 2.93 1.92 0.
time (sec) N/A 0.215 0.1 0.013 0. 0.222 4.801 0.236 0.




















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 130 130 141 266 0 1 422 243 0
normalized size 1 1. 1.08 2.05 0. 0.01 3.25 1.87 0.
time (sec) N/A 0.365 0.128 0.015 0. 0.248 8.273 0.23 0.




















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 142 142 136 246 0 1 323 267 0
normalized size 1 1. 0.96 1.73 0. 0.01 2.27 1.88 0.
time (sec) N/A 0.206 0.146 0.007 0. 0.218 3.387 0.235 0.




















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 92 161 0 1 240 174 0
normalized size 1 1. 0.94 1.64 0. 0.01 2.45 1.78 0.
time (sec) N/A 0.136 0.116 0.005 0. 0.212 2.734 0.233 0.




















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 59 95 0 1 172 97 0
normalized size 1 1. 0.94 1.51 0. 0.02 2.73 1.54 0.
time (sec) N/A 0.095 0.083 0.004 0. 0.211 2.163 0.232 0.




















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 40 45 0 1 82 45 34
normalized size 1 1. 1.03 1.15 0. 0.03 2.1 1.15 0.87
time (sec) N/A 0.048 0.042 0.004 0. 0.21 1.601 0.23 8.525




















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 61 55 0 1 712 257 60
normalized size 1 1. 0.87 0.79 0. 0.01 10.17 3.67 0.86
time (sec) N/A 0.071 0.079 0.01 0. 0.23 8.098 0.258 15.186




















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 109 109 95 144 0 1 2033 165 94
normalized size 1 1. 0.87 1.32 0. 0.01 18.65 1.51 0.86
time (sec) N/A 0.213 0.316 0.016 0. 0.318 46.026 0.224 41.21




















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 160 160 158 310 0 1 0 293 146
normalized size 1 1. 0.99 1.94 0. 0.01 0. 1.83 0.91
time (sec) N/A 0.464 0.513 0.017 0. 0.968 0. 0.234 95.697




















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 192 192 192 402 0 1 498 413 0
normalized size 1 1. 1. 2.09 0. 0.01 2.59 2.15 0.
time (sec) N/A 0.336 0.158 0.016 0. 0.215 9.143 0.234 0.




















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 142 142 142 296 0 1 398 297 0
normalized size 1 1. 1. 2.08 0. 0.01 2.8 2.09 0.
time (sec) N/A 0.26 0.143 0.016 0. 0.214 6.652 0.244 0.




















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 106 106 106 205 0 1 313 205 0
normalized size 1 1. 1. 1.93 0. 0.01 2.95 1.93 0.
time (sec) N/A 0.205 0.1 0.014 0. 0.211 5.18 0.235 0.




















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 88 129 0 1 236 127 0
normalized size 1 1. 1.07 1.57 0. 0.01 2.88 1.55 0.
time (sec) N/A 0.223 0.101 0.012 0. 0.212 3.687 0.233 0.




















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 63 68 0 1 112 77 51
normalized size 1 1. 1. 1.08 0. 0.02 1.78 1.22 0.81
time (sec) N/A 0.062 0.075 0.01 0. 0.208 2.166 0.234 9.346




















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 109 144 0 1 2033 163 94
normalized size 1 1. 1.01 1.33 0. 0.01 18.82 1.51 0.87
time (sec) N/A 0.212 0.242 0.016 0. 0.321 47.682 0.237 41.249




















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 167 167 136 238 0 1 0 1 141
normalized size 1 1. 0.81 1.43 0. 0.01 0. 0.01 0.84
time (sec) N/A 0.455 0.566 0.02 0. 0.929 0. 0.388 95.521




















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 230 230 197 403 0 1 0 448 0
normalized size 1 1. 0.86 1.75 0. 0. 0. 1.95 0.
time (sec) N/A 0.723 0.983 0.023 0. 4.165 0. 0.24 0.




















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 196 196 196 484 0 1 614 459 0
normalized size 1 1. 1. 2.47 0. 0.01 3.13 2.34 0.
time (sec) N/A 0.476 0.202 0.019 0. 0.219 21.413 0.233 0.




















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 160 160 160 367 0 1 513 343 0
normalized size 1 1. 1. 2.29 0. 0.01 3.21 2.14 0.
time (sec) N/A 0.416 0.156 0.016 0. 0.218 13.583 0.233 0.




















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 130 130 139 266 0 1 422 240 0
normalized size 1 1. 1.07 2.05 0. 0.01 3.25 1.85 0.
time (sec) N/A 0.362 0.132 0.015 0. 0.219 8.401 0.25 0.




















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 116 124 147 0 1 223 170 105
normalized size 1 1. 1.07 1.27 0. 0.01 1.92 1.47 0.91
time (sec) N/A 0.181 0.163 0.012 0. 0.215 4.729 0.233 23.471




















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 84 89 0 1 150 105 78
normalized size 1 1. 0.91 0.97 0. 0.01 1.63 1.14 0.85
time (sec) N/A 0.085 0.105 0.011 0. 0.209 2.797 0.231 12.602




















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 161 161 158 309 0 1 0 294 146
normalized size 1 1. 0.98 1.92 0. 0.01 0. 1.83 0.91
time (sec) N/A 0.446 0.548 0.017 0. 0.984 0. 0.23 98.386




















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 236 236 197 403 0 1 0 450 0
normalized size 1 1. 0.83 1.71 0. 0. 0. 1.91 0.
time (sec) N/A 0.717 0.775 0.021 0. 4.169 0. 0.247 0.




















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 315 315 233 568 0 1 0 1 0
normalized size 1 1. 0.74 1.8 0. 0. 0. 0. 0.
time (sec) N/A 1.037 1.714 0.024 0. 13.618 0. 0.494 0.




















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 24 23 45 45 31 27 27
normalized size 1 1. 0.71 0.68 1.32 1.32 0.91 0.79 0.79
time (sec) N/A 0.026 0.012 0.01 1.343 0.194 0.319 0.234 8.89




















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 41 33 65 90 46 73 39
normalized size 1 1. 0.87 0.7 1.38 1.91 0.98 1.55 0.83
time (sec) N/A 0.044 0.021 0.012 1.513 0.201 0.449 0.233 11.203




















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 231 231 181 310 0 1 484 271 230
normalized size 1 1. 0.78 1.34 0. 0. 2.1 1.17 1.
time (sec) N/A 0.413 0.187 0.016 0. 0.412 60.359 0.241 50.338




















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 149 149 123 190 0 1 291 174 143
normalized size 1 1. 0.83 1.28 0. 0.01 1.95 1.17 0.96
time (sec) N/A 0.205 0.121 0.012 0. 0.264 33.619 0.237 24.803




















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 78 96 0 1 144 95 75
normalized size 1 1. 0.9 1.1 0. 0.01 1.66 1.09 0.86
time (sec) N/A 0.079 0.066 0.007 0. 0.232 17.121 0.232 9.625




















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 49 36 0 1 41 50 39
normalized size 1 1. 1.07 0.78 0. 0.02 0.89 1.09 0.85
time (sec) N/A 0.026 0.029 0.001 0. 0.221 6.342 0.228 3.129




















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 84 932 0 1 0 150 70
normalized size 1 1. 1.02 11.37 0. 0.01 0. 1.83 0.85
time (sec) N/A 0.133 0.069 0.055 0. 0.251 0. 0.26 20.412




















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 82 2521 0 1 0 4 68
normalized size 1 1. 1. 30.74 0. 0.01 0. 0.05 0.83
time (sec) N/A 0.098 0.152 0.039 0. 0.28 0. 2.649 17.221




















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 149 149 128 5101 0 1 0 4 129
normalized size 1 1. 0.86 34.23 0. 0.01 0. 0.03 0.87
time (sec) N/A 0.263 0.197 0.037 0. 0.357 0. 3.949 31.151




















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 208 208 184 7922 0 1 0 4 190
normalized size 1 1. 0.88 38.09 0. 0. 0. 0.02 0.91
time (sec) N/A 0.554 0.436 0.047 0. 1.256 0. 32.137 82.834




















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 272 272 220 393 0 1 665 351 269
normalized size 1 1. 0.81 1.44 0. 0. 2.44 1.29 0.99
time (sec) N/A 0.495 0.208 0.018 0. 0.69 151.033 0.284 53.83




















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 196 196 159 249 0 1 440 236 192
normalized size 1 1. 0.81 1.27 0. 0.01 2.24 1.2 0.98
time (sec) N/A 0.262 0.169 0.013 0. 0.349 87.222 0.255 28.596




















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 118 118 98 131 0 1 253 139 102
normalized size 1 1. 0.83 1.11 0. 0.01 2.14 1.18 0.86
time (sec) N/A 0.106 0.125 0.007 0. 0.248 43.635 0.286 12.268




















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 62 51 0 1 70 66 60
normalized size 1 1. 0.95 0.78 0. 0.02 1.08 1.02 0.92
time (sec) N/A 0.038 0.052 0.003 0. 0.223 10.058 0.265 4.313




















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 113 113 110 1845 0 1 0 205 102
normalized size 1 1. 0.97 16.33 0. 0.01 0. 1.81 0.9
time (sec) N/A 0.29 0.318 0.025 0. 0.412 0. 0.283 39.987




















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 142 4621 0 1 0 4 114
normalized size 1 1. 1.08 35.27 0. 0.01 0. 0.03 0.87
time (sec) N/A 0.249 0.199 0.033 0. 0.366 0. 0.642 40.672




















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 113 113 103 9059 0 1 0 4 100
normalized size 1 1. 0.91 80.17 0. 0.01 0. 0.04 0.88
time (sec) N/A 0.161 0.206 0.041 0. 0.319 0. 1.485 26.018




















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 199 199 178 13766 0 1 0 4 175
normalized size 1 1. 0.89 69.18 0. 0.01 0. 0.02 0.88
time (sec) N/A 0.307 0.372 0.059 0. 0.564 0. 28.901 43.454




















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 300 300 260 18791 0 1 0 4 277
normalized size 1 1. 0.87 62.64 0. 0. 0. 0.01 0.92
time (sec) N/A 0.915 0.452 0.075 0. 2.456 0. 1.588 158.453




















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 349 349 270 476 0 1 0 433 352
normalized size 1 1. 0.77 1.36 0. 0. 0. 1.24 1.01
time (sec) N/A 0.562 0.308 0.018 0. 1.24 0. 0.241 65.835




















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 241 241 191 308 0 1 537 298 238
normalized size 1 1. 0.79 1.28 0. 0. 2.23 1.24 0.99
time (sec) N/A 0.324 0.211 0.011 0. 0.556 170.682 0.367 32.758




















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 149 149 121 166 0 1 316 182 134
normalized size 1 1. 0.81 1.11 0. 0.01 2.12 1.22 0.9
time (sec) N/A 0.135 0.133 0.007 0. 0.325 88.521 0.337 14.711




















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 71 66 0 1 97 85 78
normalized size 1 1. 0.85 0.79 0. 0.01 1.15 1.01 0.93
time (sec) N/A 0.052 0.069 0. 0. 0.233 14.318 0.285 5.829




















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 157 157 140 3053 0 1 0 290 146
normalized size 1 1. 0.89 19.45 0. 0.01 0. 1.85 0.93
time (sec) N/A 0.482 0.189 0.027 0. 1.324 0. 0.408 69.389




















Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 175 175 144 7345 0 1 0 4 155
normalized size 1 1. 0.82 41.97 0. 0.01 0. 0.02 0.89
time (sec) N/A 0.527 0.279 0.037 0. 1.001 0. 0.794 75.19




















Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 194 194 184 14133 0 1 0 4 177
normalized size 1 1. 0.95 72.85 0. 0.01 0. 0.02 0.91
time (sec) N/A 0.483 0.344 0.048 0. 0.615 0. 0.65 73.234




















Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 144 144 139 21220 0 1 0 4 131
normalized size 1 1. 0.97 147.36 0. 0.01 0. 0.03 0.91
time (sec) N/A 0.198 0.296 0.086 0. 0.465 0. 29.169 35.28




















Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 249 249 235 28625 0 1 0 4 226
normalized size 1 1. 0.94 114.96 0. 0. 0. 0.02 0.91
time (sec) N/A 0.377 0.487 0.095 0. 1.396 0. 2.01 54.969




















Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 30 33 0 84 0 128 24
normalized size 1 1. 1. 1.1 0. 2.8 0. 4.27 0.8
time (sec) N/A 0.046 0.042 0.024 0. 0.213 0. 0.265 10.54




















Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B B A A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 64 84 80 128 0 95 24
normalized size 1 1. 2.37 3.11 2.96 4.74 0. 3.52 0.89
time (sec) N/A 0.039 0.042 0.017 1.521 0.209 0. 0.255 8.652




















Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B A A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 187 143 100 0 159 19
normalized size 1 1. 1. 7.48 5.72 4. 0. 6.36 0.76
time (sec) N/A 0.043 0.013 0.104 1.498 0.21 0. 0.24 11.258




















Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 169 169 140 228 0 1 400 203 163
normalized size 1 1. 0.83 1.35 0. 0.01 2.37 1.2 0.96
time (sec) N/A 0.334 0.156 0.017 0. 0.27 39.827 0.242 42.704




















Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 91 131 0 1 238 122 102
normalized size 1 1. 0.84 1.21 0. 0.01 2.2 1.13 0.94
time (sec) N/A 0.144 0.09 0.01 0. 0.228 20.518 0.24 20.442




















Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 61 62 0 1 126 66 49
normalized size 1 1. 1.05 1.07 0. 0.02 2.17 1.14 0.84
time (sec) N/A 0.054 0.043 0.006 0. 0.219 8.542 0.234 7.968




















Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 21 0 1 17 31 22
normalized size 1 1. 1. 0.84 0. 0.04 0.68 1.24 0.88
time (sec) N/A 0.017 0.011 0. 0. 0.213 3.614 0.236 2.454




















Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 49 300 0 1 0 95 42
normalized size 1 1. 1. 6.12 0. 0.02 0. 1.94 0.86
time (sec) N/A 0.058 0.044 0.023 0. 0.261 0. 0.242 10.42




















Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 101 809 0 1 0 327 83
normalized size 1 1. 1. 8.01 0. 0.01 0. 3.24 0.82
time (sec) N/A 0.14 0.169 0.029 0. 0.363 0. 0.249 20.468




















Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 163 163 143 1815 0 1 0 726 146
normalized size 1 1. 0.88 11.13 0. 0.01 0. 4.45 0.9
time (sec) N/A 0.339 0.276 0.039 0. 0.617 0. 0.967 55.935




















Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 257 257 172 340 0 1 0 317 262
normalized size 1 1. 0.67 1.32 0. 0. 0. 1.23 1.02
time (sec) N/A 0.633 0.4 0.024 0. 0.452 0. 0.248 85.096




















Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 169 169 122 219 0 1 0 212 163
normalized size 1 1. 0.72 1.3 0. 0.01 0. 1.25 0.96
time (sec) N/A 0.434 0.156 0.013 0. 0.278 0. 0.258 44.942




















Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 105 89 123 0 1 0 124 95
normalized size 1 1.17 0.99 1.37 0. 0.01 0. 1.38 1.06
time (sec) N/A 0.154 0.154 0.01 0. 0.23 0. 0.244 20.424




















Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 58 54 0 1 60 68 46
normalized size 1 1. 1.07 1. 0. 0.02 1.11 1.26 0.85
time (sec) N/A 0.05 0.063 0.007 0. 0.22 11.148 0.229 8.098




















Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 15 19 31 17 19 12
normalized size 1 1. 1. 0.94 1.19 1.94 1.06 1.19 0.75
time (sec) N/A 0.009 0.012 0. 1.355 0.207 1.806 0.225 1.274




















Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 79 618 0 1 0 143 66
normalized size 1 1. 1. 7.82 0. 0.01 0. 1.81 0.84
time (sec) N/A 0.119 0.159 0.025 0. 0.306 0. 0.231 18.837




















Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 143 143 133 1439 0 1 0 4 121
normalized size 1 1. 0.93 10.06 0. 0.01 0. 0.03 0.85
time (sec) N/A 0.323 0.292 0.031 0. 0.579 0. 3.906 54.396




















Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 225 225 181 2919 0 1 0 4 196
normalized size 1 1. 0.8 12.97 0. 0. 0. 0.02 0.87
time (sec) N/A 0.679 0.794 0.04 0. 1.307 0. 12.073 115.598




















Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 255 255 157 351 0 1 0 320 260
normalized size 1 1. 0.62 1.38 0. 0. 0. 1.25 1.02
time (sec) N/A 0.615 0.278 0.024 0. 0.561 0. 0.234 91.401




















Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 172 172 125 228 0 1 0 213 162
normalized size 1 1. 0.73 1.33 0. 0.01 0. 1.24 0.94
time (sec) N/A 0.369 0.157 0.012 0. 0.303 0. 0.233 50.925




















Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 105 105 97 136 0 1 0 139 94
normalized size 1 1. 0.92 1.3 0. 0.01 0. 1.32 0.9
time (sec) N/A 0.133 0.22 0.01 0. 0.236 0. 0.232 23.838




















Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 37 34 92 73 144 54 41
normalized size 1 1. 0.79 0.72 1.96 1.55 3.06 1.15 0.87
time (sec) N/A 0.036 0.043 0.005 1.349 0.214 36.389 0.226 6.519




















Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 29 26 42 63 95 36 32
normalized size 1 1. 0.74 0.67 1.08 1.62 2.44 0.92 0.82
time (sec) N/A 0.02 0.016 0.004 1.345 0.212 2.771 0.226 2.09




















Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 122 122 112 1070 0 1 0 432 107
normalized size 1 1. 0.92 8.77 0. 0.01 0. 3.54 0.88
time (sec) N/A 0.346 0.36 0.027 0. 0.546 0. 0.229 55.144




















Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 202 202 170 2371 0 1 0 4 178
normalized size 1 1. 0.84 11.74 0. 0. 0. 0.02 0.88
time (sec) N/A 0.62 1.028 0.036 0. 1.225 0. 4.944 116.464




















Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-1) A F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 313 313 221 4495 0 1 0 4 0
normalized size 1 1. 0.71 14.36 0. 0. 0. 0.01 0.
time (sec) N/A 1.084 1.222 0.046 0. 3.904 0. 1.165 0.




















Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 224 224 163 190 628 309 0 294 204
normalized size 1 1. 0.73 0.85 2.8 1.38 0. 1.31 0.91
time (sec) N/A 0.279 0.158 0.011 1.365 0.802 0. 0.234 41.474




















Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 174 174 107 115 336 204 0 186 156
normalized size 1 1. 0.61 0.66 1.93 1.17 0. 1.07 0.9
time (sec) N/A 0.201 0.106 0.01 1.368 0.332 0. 0.232 30.056




















Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 59 57 139 117 566 97 78
normalized size 1 1. 0.65 0.63 1.53 1.29 6.22 1.07 0.86
time (sec) N/A 0.082 0.06 0.006 1.35 0.228 127.945 0.229 10.601




















Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 29 26 42 63 95 36 32
normalized size 1 1. 0.74 0.67 1.08 1.62 2.44 0.92 0.82
time (sec) N/A 0.019 0.022 0.005 1.35 0.211 2.737 0.228 2.026




















Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 78 628 0 1 0 146 66
normalized size 1 1. 0.99 7.95 0. 0.01 0. 1.85 0.84
time (sec) N/A 0.122 0.152 0.054 0. 0.31 0. 0.23 20.604




















Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-2) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 100 823 0 1 0 304 83
normalized size 1 1. 1. 8.23 0. 0.01 0. 3.04 0.83
time (sec) N/A 0.144 0.176 0.041 0. 0.356 0. 0.233 21.817




















Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 149 149 130 5177 0 1 0 4 129
normalized size 1 1. 0.87 34.74 0. 0.01 0. 0.03 0.87
time (sec) N/A 0.229 0.262 0.05 0. 0.404 0. 1.243 32.714




















Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F A F(-1) A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 199 199 179 13964 0 1 0 4 175
normalized size 1 1. 0.9 70.17 0. 0.01 0. 0.02 0.88
time (sec) N/A 0.298 0.413 0.074 0. 0.62 0. 19.528 44.854




















Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 19 0 36 0 24 15
normalized size 1 1. 1. 0.95 0. 1.8 0. 1.2 0.75
time (sec) N/A 0.014 0.017 0.004 0. 0.211 0. 0.241 4.939




















Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 25 28 0 65 0 69 22
normalized size 1 1. 1. 1.12 0. 2.6 0. 2.76 0.88
time (sec) N/A 0.027 0.04 0.006 0. 0.213 0. 0.237 6.097




















Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F(-2) A F A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 49 306 0 1 0 95 42
normalized size 1 1. 1. 6.24 0. 0.02 0. 1.94 0.86
time (sec) N/A 0.056 0.043 0.015 0. 0.259 0. 0.239 11.279




















Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 14 18 66 31 34 14
normalized size 1 1. 1. 0.93 1.2 4.4 2.07 2.27 0.93
time (sec) N/A 0.016 0.02 0.008 1.491 0.203 10.816 0.229 4.065




















Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 648 648 99 0 0 0 136 0 525
normalized size 1 1. 0.15 0. 0. 0. 0.21 0. 0.81
time (sec) N/A 1.205 0.085 0.049 0. 0. 11.488 0. 90.845




















Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 617 617 88 0 0 0 99 0 496
normalized size 1 1. 0.14 0. 0. 0. 0.16 0. 0.8
time (sec) N/A 0.961 0.063 0.039 0. 0. 7.902 0. 59.535




















Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 588 588 76 0 0 0 63 0 469
normalized size 1 1. 0.13 0. 0. 0. 0.11 0. 0.8
time (sec) N/A 0.806 0.05 0.038 0. 0. 5.371 0. 39.191




















Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 740 740 162 0 0 0 0 0 784
normalized size 1 1. 0.22 0. 0. 0. 0. 0. 1.06
time (sec) N/A 0.779 0.236 0.066 0. 0. 0. 0. 112.322




















Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 584 584 86 0 0 0 0 0 452
normalized size 1 1. 0.15 0. 0. 0. 0. 0. 0.77
time (sec) N/A 0.803 0.091 0.074 0. 0. 0. 0. 46.811




















Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F F(-1)
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 818 818 350 0 0 0 0 0 0
normalized size 1 1. 0.43 0. 0. 0. 0. 0. 0.
time (sec) N/A 1.304 0.735 0.07 0. 0. 0. 0. 0.




















Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F(-1) F F(-1)
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 849 849 364 0 0 0 0 0 0
normalized size 1 1. 0.43 0. 0. 0. 0. 0. 0.
time (sec) N/A 1.471 0.361 0.073 0. 0. 0. 0. 0.




















Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 668 668 110 0 0 0 139 0 544
normalized size 1 1. 0.16 0. 0. 0. 0.21 0. 0.81
time (sec) N/A 1.293 0.085 0.045 0. 0. 21.027 0. 102.624




















Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 637 637 99 0 0 0 131 0 515
normalized size 1 1. 0.16 0. 0. 0. 0.21 0. 0.81
time (sec) N/A 1.064 0.072 0.039 0. 0. 15.453 0. 69.578




















Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 608 608 88 0 0 0 100 0 488
normalized size 1 1. 0.14 0. 0. 0. 0.16 0. 0.8
time (sec) N/A 0.928 0.061 0.036 0. 0. 10.476 0. 48.147




















Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 765 765 333 0 0 0 0 0 811
normalized size 1 1. 0.44 0. 0. 0. 0. 0. 1.06
time (sec) N/A 1.072 0.272 0.085 0. 0. 0. 0. 163.58




















Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 775 775 320 0 0 0 0 0 814
normalized size 1 1. 0.41 0. 0. 0. 0. 0. 1.05
time (sec) N/A 1.055 0.228 0.067 0. 0. 0. 0. 158.993




















Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F(-1) F A
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 815 815 346 0 0 0 0 0 78
normalized size 1 1. 0.42 0. 0. 0. 0. 0. 0.1
time (sec) N/A 1.386 0.436 0.069 0. 0. 0. 0. 50.406




















Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 659 659 98 0 0 0 165 0 537
normalized size 1 1. 0.15 0. 0. 0. 0.25 0. 0.81
time (sec) N/A 1.165 0.103 0.045 0. 0. 12.509 0. 113.285




















Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 628 628 88 0 0 0 129 0 507
normalized size 1 1. 0.14 0. 0. 0. 0.21 0. 0.81
time (sec) N/A 1.005 0.076 0.04 0. 0. 8.902 0. 81.761




















Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 597 597 77 0 0 0 94 0 478
normalized size 1 1. 0.13 0. 0. 0. 0.16 0. 0.8
time (sec) N/A 0.827 0.065 0.039 0. 0. 6.537 0. 51.672




















Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 568 568 62 0 0 0 60 0 450
normalized size 1 1. 0.11 0. 0. 0. 0.11 0. 0.79
time (sec) N/A 0.775 0.053 0.036 0. 0. 4.311 0. 33.094




















Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 204 204 162 0 0 0 0 0 355
normalized size 1 1. 0.79 0. 0. 0. 0. 0. 1.74
time (sec) N/A 0.127 0.064 0.057 0. 0. 0. 0. 73.703




















Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F(-2) F A
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 787 787 322 0 0 0 0 0 813
normalized size 1 1. 0.41 0. 0. 0. 0. 0. 1.03
time (sec) N/A 1.217 0.282 0.066 0. 0. 0. 0. 151.13




















Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F(-2) F F(-1)
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 818 818 352 0 0 0 0 0 0
normalized size 1 1. 0.43 0. 0. 0. 0. 0. 0.
time (sec) N/A 1.42 0.386 0.068 0. 0. 0. 0. 0.




















Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 623 623 76 0 0 0 0 0 503
normalized size 1 1. 0.12 0. 0. 0. 0. 0. 0.81
time (sec) N/A 1.071 0.097 0.082 0. 0. 0. 0. 82.707




















Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 592 592 62 0 0 0 0 0 473
normalized size 1 1. 0.1 0. 0. 0. 0. 0. 0.8
time (sec) N/A 0.918 0.065 0.073 0. 0. 0. 0. 53.325




















Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 561 561 51 0 0 0 60 0 442
normalized size 1 1. 0.09 0. 0. 0. 0.11 0. 0.79
time (sec) N/A 0.774 0.051 0.037 0. 0. 9.811 0. 32.785




















Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 776 776 325 0 0 0 0 0 809
normalized size 1 1. 0.42 0. 0. 0. 0. 0. 1.04
time (sec) N/A 1.216 0.332 0.061 0. 0. 0. 0. 150.704




















Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F(-2) F F(-1)
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 807 807 323 0 0 0 0 0 0
normalized size 1 1. 0.4 0. 0. 0. 0. 0. 0.
time (sec) N/A 1.389 0.334 0.066 0. 0. 0. 0. 0.




















Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F(-2) F F(-1)
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 849 849 353 0 0 0 0 0 0
normalized size 1 1. 0.42 0. 0. 0. 0. 0. 0.
time (sec) N/A 1.736 0.392 0.068 0. 0. 0. 0. 0.




















Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 653 653 96 0 0 0 0 0 527
normalized size 1 1. 0.15 0. 0. 0. 0. 0. 0.81
time (sec) N/A 1.3 0.123 0.093 0. 0. 0. 0. 131.245




















Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 596 596 83 0 0 0 0 0 476
normalized size 1 1. 0.14 0. 0. 0. 0. 0. 0.8
time (sec) N/A 1.028 0.108 0.075 0. 0. 0. 0. 66.355




















Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 24 24 45 57 0 0 37
normalized size 1 1. 0.55 0.55 1.02 1.3 0. 0. 0.84
time (sec) N/A 0.051 0.038 0.008 1.483 0.262 0. 0. 21.476




















Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 590 590 74 0 0 0 60 0 466
normalized size 1 1. 0.13 0. 0. 0. 0.1 0. 0.79
time (sec) N/A 0.791 0.087 0.039 0. 0. 36.95 0. 42.61




















Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F F(-1)
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 796 796 347 0 0 0 0 0 0
normalized size 1 1. 0.44 0. 0. 0. 0. 0. 0.
time (sec) N/A 1.291 0.328 0.062 0. 0. 0. 0. 0.




















Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F(-2) F F(-1)
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 827 827 346 0 0 0 0 0 0
normalized size 1 1. 0.42 0. 0. 0. 0. 0. 0.
time (sec) N/A 1.527 0.427 0.067 0. 0. 0. 0. 0.




















Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 252 252 163 0 0 0 0 0 355
normalized size 1 1. 0.65 0. 0. 0. 0. 0. 1.41
time (sec) N/A 0.192 0.25 0.06 0. 0. 0. 0. 90.639




















Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 202 202 166 0 0 0 0 0 348
normalized size 1 1. 0.82 0. 0. 0. 0. 0. 1.72
time (sec) N/A 0.103 0.234 0.064 0. 0. 0. 0. 35.677




















Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 204 204 153 0 0 0 0 0 376
normalized size 1 1. 0.75 0. 0. 0. 0. 0. 1.84
time (sec) N/A 0.122 0.232 0.067 0. 0. 0. 0. 38.639




















Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 204 204 162 0 0 0 0 0 355
normalized size 1 1. 0.79 0. 0. 0. 0. 0. 1.74
time (sec) N/A 0.102 0.067 0. 0. 0. 0. 0. 75.3




















Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 204 204 156 0 0 0 0 0 410
normalized size 1 1. 0.76 0. 0. 0. 0. 0. 2.01
time (sec) N/A 0.098 0.236 0.062 0. 0. 0. 0. 85.054




















Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 113 113 118 0 0 0 0 0 144
normalized size 1 1. 1.04 0. 0. 0. 0. 0. 1.27
time (sec) N/A 0.048 0.169 0.046 0. 0. 0. 0. 13.915




















Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 109 109 124 0 0 0 0 0 192
normalized size 1 1. 1.14 0. 0. 0. 0. 0. 1.76
time (sec) N/A 0.046 0.056 0.069 0. 0. 0. 0. 11.585




















Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 96 96 203 0 0 0 0 0 87
normalized size 1 1. 2.11 0. 0. 0. 0. 0. 0.91
time (sec) N/A 0.069 0.438 0.047 0. 0. 0. 0. 6.056




















Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 95 95 203 0 0 0 0 0 87
normalized size 1 1. 2.14 0. 0. 0. 0. 0. 0.92
time (sec) N/A 0.065 0.237 0.05 0. 0. 0. 0. 5.631




















Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 151 151 169 0 0 0 0 0 54
normalized size 1 1. 1.12 0. 0. 0. 0. 0. 0.36
time (sec) N/A 0.088 0.258 0.069 0. 0. 0. 0. 38.064




















Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 153 153 167 0 0 0 0 0 53
normalized size 1 1. 1.09 0. 0. 0. 0. 0. 0.35
time (sec) N/A 0.087 0.274 0.07 0. 0. 0. 0. 38.08




















Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 151 151 168 0 0 0 0 0 51
normalized size 1 1. 1.11 0. 0. 0. 0. 0. 0.34
time (sec) N/A 0.089 0.25 0.061 0. 0. 0. 0. 39.375




















Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 153 153 172 0 0 0 0 0 58
normalized size 1 1. 1.12 0. 0. 0. 0. 0. 0.38
time (sec) N/A 0.089 0.272 0.061 0. 0. 0. 0. 39.963




















Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-2) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 151 151 148 0 0 0 0 0 32
normalized size 1 1. 0.98 0. 0. 0. 0. 0. 0.21
time (sec) N/A 0.09 0.233 0.074 0. 0. 0. 0. 16.167




















Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-2) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 147 147 148 0 0 0 0 0 46
normalized size 1 1. 1.01 0. 0. 0. 0. 0. 0.31
time (sec) N/A 0.08 0.273 0.063 0. 0. 0. 0. 25.286




















Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 123 123 136 0 0 0 0 0 29
normalized size 1 1. 1.11 0. 0. 0. 0. 0. 0.24
time (sec) N/A 0.063 0.185 0.036 0. 0. 0. 0. 11.7




















Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 123 123 136 0 0 0 0 0 27
normalized size 1 1. 1.11 0. 0. 0. 0. 0. 0.22
time (sec) N/A 0.058 0.189 0.077 0. 0. 0. 0. 11.879




















Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 119 119 136 0 0 0 0 0 42
normalized size 1 1. 1.14 0. 0. 0. 0. 0. 0.35
time (sec) N/A 0.056 0.188 0.074 0. 0. 0. 0. 17.175




















Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 119 119 136 0 0 0 0 0 49
normalized size 1 1. 1.14 0. 0. 0. 0. 0. 0.41
time (sec) N/A 0.057 0.204 0.034 0. 0. 0. 0. 17.145




















Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 70 70 124 0 0 0 0 0 19
normalized size 1 1. 1.77 0. 0. 0. 0. 0. 0.27
time (sec) N/A 0.031 0.148 0.035 0. 0. 0. 0. 5.124




















Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 104 104 137 0 0 0 0 0 22
normalized size 1 1. 1.32 0. 0. 0. 0. 0. 0.21
time (sec) N/A 0.053 0.167 0.056 0. 0. 0. 0. 9.582




















Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 74 74 125 0 0 0 0 0 15
normalized size 1 1. 1.69 0. 0. 0. 0. 0. 0.2
time (sec) N/A 0.037 0.07 0.063 0. 0. 0. 0. 8.496




















Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 328 328 243 543 0 0 0 0 301
normalized size 1 1. 0.74 1.66 0. 0. 0. 0. 0.92
time (sec) N/A 0.739 0.799 0.068 0. 0. 0. 0. 91.917




















Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 249 249 198 328 0 0 0 0 214
normalized size 1 1. 0.8 1.32 0. 0. 0. 0. 0.86
time (sec) N/A 0.421 0.442 0.016 0. 0. 0. 0. 57.139




















Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 204 204 86 101 0 0 0 0 168
normalized size 1 1. 0.42 0.5 0. 0. 0. 0. 0.82
time (sec) N/A 0.276 0.082 0.023 0. 0. 0. 0. 40.271




















Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 133 181 0 0 0 0 71
normalized size 1 1. 1.58 2.15 0. 0. 0. 0. 0.85
time (sec) N/A 0.057 0.529 0.049 0. 0. 0. 0. 8.984




















Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C B F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 237 237 243 617 0 0 0 0 197
normalized size 1 1. 1.03 2.6 0. 0. 0. 0. 0.83
time (sec) N/A 0.33 0.77 0.055 0. 0. 0. 0. 48.298




















Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C B F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 309 309 285 1411 0 0 0 0 274
normalized size 1 1. 0.92 4.57 0. 0. 0. 0. 0.89
time (sec) N/A 0.588 0.897 0.063 0. 0. 0. 0. 82.839




















Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 410 410 302 780 0 0 0 0 379
normalized size 1 1. 0.74 1.9 0. 0. 0. 0. 0.92
time (sec) N/A 1.071 1.064 0.028 0. 0. 0. 0. 141.37




















Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 336 336 246 545 0 0 0 0 299
normalized size 1 1. 0.73 1.62 0. 0. 0. 0. 0.89
time (sec) N/A 0.729 0.716 0.022 0. 0. 0. 0. 98.026




















Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 273 273 199 330 0 0 0 0 233
normalized size 1 1. 0.73 1.21 0. 0. 0. 0. 0.85
time (sec) N/A 0.472 0.476 0.022 0. 0. 0. 0. 63.056




















Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 267 267 191 332 0 0 0 0 230
normalized size 1 1. 0.72 1.24 0. 0. 0. 0. 0.86
time (sec) N/A 0.461 0.482 0.033 0. 0. 0. 0. 63.975




















Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C B F F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 229 229 232 607 0 0 0 0 192
normalized size 1 1. 1.01 2.65 0. 0. 0. 0. 0.84
time (sec) N/A 0.372 0.8 0.036 0. 0. 0. 0. 46.265




















Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C B F F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 315 315 285 1414 0 0 0 0 270
normalized size 1 1. 0.9 4.49 0. 0. 0. 0. 0.86
time (sec) N/A 0.695 0.996 0.042 0. 0. 0. 0. 85.636




















Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 235 235 127 303 0 0 0 0 221
normalized size 1 1. 0.54 1.29 0. 0. 0. 0. 0.94
time (sec) N/A 0.377 0.172 0.038 0. 0. 0. 0. 48.444




















Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 32 75 0 0 0 0 32
normalized size 1 1. 0.84 1.97 0. 0. 0. 0. 0.84
time (sec) N/A 0.035 0.08 0.059 0. 0. 0. 0. 5.062




















Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A C A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 15 38 23 51 17 23 17
normalized size 1 1. 0.75 1.9 1.15 2.55 0.85 1.15 0.85
time (sec) N/A 0.012 0.004 0.007 1.525 0.219 23.073 0.239 3.462




















Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 182 182 37 37 0 0 0 0 175
normalized size 1 1. 0.2 0.2 0. 0. 0. 0. 0.96
time (sec) N/A 0.246 0.039 0.023 0. 0. 0. 0. 35.293




















Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 60 78 0 0 0 0 75
normalized size 1 1. 0.66 0.86 0. 0. 0. 0. 0.82
time (sec) N/A 0.186 0.057 0.033 0. 0. 0. 0. 34.149




















Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 150 150 60 53 0 0 0 0 129
normalized size 1 1. 0.4 0.35 0. 0. 0. 0. 0.86
time (sec) N/A 0.187 0.046 0.035 0. 0. 0. 0. 27.399




















Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 29 0 0 0 0 19
normalized size 1 1. 1. 1.45 0. 0. 0. 0. 0.95
time (sec) N/A 0.027 0.03 0.049 0. 0. 0. 0. 5.199




















Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 21 24 0 0 0 0 20
normalized size 1 1. 1. 1.14 0. 0. 0. 0. 0.95
time (sec) N/A 0.027 0.026 0.118 0. 0. 0. 0. 5.183




















Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 35 0 0 0 0 19
normalized size 1 1. 1. 1.75 0. 0. 0. 0. 0.95
time (sec) N/A 0.026 0.028 0.111 0. 0. 0. 0. 5.269




















Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 4 4 4 5 0 0 0 0 5
normalized size 1 1. 1. 1.25 0. 0. 0. 0. 1.25
time (sec) N/A 0.019 0.025 0.02 0. 0. 0. 0. 5.449




















Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 25 0 0 0 0 20
normalized size 1 1. 1. 1.25 0. 0. 0. 0. 1.
time (sec) N/A 0.024 0.025 0.028 0. 0. 0. 0. 5.144




















Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 21 25 0 0 0 0 22
normalized size 1 1. 1. 1.19 0. 0. 0. 0. 1.05
time (sec) N/A 0.024 0.026 0.025 0. 0. 0. 0. 4.865




















Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 25 0 0 0 0 20
normalized size 1 1. 1. 1.25 0. 0. 0. 0. 1.
time (sec) N/A 0.026 0.025 0.036 0. 0. 0. 0. 5.411




















Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 13 13 12 14 0 0 0 0 14
normalized size 1 1. 0.92 1.08 0. 0. 0. 0. 1.08
time (sec) N/A 0.051 0.022 0.011 0. 0. 0. 0. 13.137




















Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 27 33 0 0 0 0 31
normalized size 1 1. 0.87 1.06 0. 0. 0. 0. 1.
time (sec) N/A 0.066 0.027 0.024 0. 0. 0. 0. 12.415




















Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 27 37 0 0 0 0 31
normalized size 1 1. 0.77 1.06 0. 0. 0. 0. 0.89
time (sec) N/A 0.067 0.027 0.035 0. 0. 0. 0. 12.424




















Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 27 37 0 0 0 0 36
normalized size 1 1. 0.77 1.06 0. 0. 0. 0. 1.03
time (sec) N/A 0.067 0.026 0.029 0. 0. 0. 0. 12.434




















Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 27 36 0 0 0 0 119
normalized size 1 1. 0.21 0.27 0. 0. 0. 0. 0.91
time (sec) N/A 0.131 0.024 0.077 0. 0. 0. 0. 19.386




















Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 136 136 27 34 0 0 0 0 114
normalized size 1 1. 0.2 0.25 0. 0. 0. 0. 0.84
time (sec) N/A 0.144 0.025 0.049 0. 0. 0. 0. 19.085




















Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 148 148 27 26 0 0 0 0 121
normalized size 1 1. 0.18 0.18 0. 0. 0. 0. 0.82
time (sec) N/A 0.16 0.025 0.113 0. 0. 0. 0. 20.257




















Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 35 32 0 0 0 0 37
normalized size 1 1. 0.88 0.8 0. 0. 0. 0. 0.92
time (sec) N/A 0.051 0.035 0.048 0. 0. 0. 0. 10.403




















Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 423 423 321 852 0 0 0 0 408
normalized size 1 1. 0.76 2.01 0. 0. 0. 0. 0.96
time (sec) N/A 1.065 2.729 0.033 0. 0. 0. 0. 130.858




















Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 344 344 260 615 0 0 0 0 328
normalized size 1 1. 0.76 1.79 0. 0. 0. 0. 0.95
time (sec) N/A 0.729 0.845 0.025 0. 0. 0. 0. 91.941




















Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 260 260 216 399 0 0 0 0 236
normalized size 1 1. 0.83 1.53 0. 0. 0. 0. 0.91
time (sec) N/A 0.461 0.597 0.022 0. 0. 0. 0. 61.749




















Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 194 194 86 158 0 0 0 0 172
normalized size 1 1. 0.44 0.81 0. 0. 0. 0. 0.89
time (sec) N/A 0.274 0.081 0.018 0. 0. 0. 0. 39.148




















Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 86 100 0 0 0 0 73
normalized size 1 1. 0.99 1.15 0. 0. 0. 0. 0.84
time (sec) N/A 0.061 0.084 0.023 0. 0. 0. 0. 10.583




















Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 273 273 112 248 0 0 0 0 160
normalized size 1 1. 0.41 0.91 0. 0. 0. 0. 0.59
time (sec) N/A 0.403 0.402 0.037 0. 0. 0. 0. 59.092




















Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C B F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 255 255 261 752 0 0 0 0 221
normalized size 1 1. 1.02 2.95 0. 0. 0. 0. 0.87
time (sec) N/A 0.404 1.071 0.041 0. 0. 0. 0. 58.23




















Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C B F F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 334 334 301 1607 0 0 0 0 301
normalized size 1 1. 0.9 4.81 0. 0. 0. 0. 0.9
time (sec) N/A 0.704 1.054 0.049 0. 0. 0. 0. 120.703




















Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 445 445 318 755 0 0 0 0 418
normalized size 1 1. 0.71 1.7 0. 0. 0. 0. 0.94
time (sec) N/A 1.015 2.098 0.061 0. 0. 0. 0. 143.453




















Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 346 346 256 539 0 0 0 0 318
normalized size 1 1. 0.74 1.56 0. 0. 0. 0. 0.92
time (sec) N/A 0.717 0.823 0.036 0. 0. 0. 0. 97.81




















Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 258 258 196 345 0 0 0 0 223
normalized size 1 1. 0.76 1.34 0. 0. 0. 0. 0.86
time (sec) N/A 0.438 0.49 0.033 0. 0. 0. 0. 61.085




















Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 136 188 0 0 0 0 71
normalized size 1 1. 1.62 2.24 0. 0. 0. 0. 0.85
time (sec) N/A 0.053 0.52 0.026 0. 0. 0. 0. 8.281




















Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 194 194 112 144 0 0 0 0 228
normalized size 1 1. 0.58 0.74 0. 0. 0. 0. 1.18
time (sec) N/A 0.403 0.412 0.034 0. 0. 0. 0. 58.687




















Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 242 242 224 354 0 0 0 0 207
normalized size 1 1. 0.93 1.46 0. 0. 0. 0. 0.86
time (sec) N/A 0.34 1.243 0.038 0. 0. 0. 0. 51.877




















Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C B F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 323 323 337 964 0 0 0 0 284
normalized size 1 1. 1.04 2.98 0. 0. 0. 0. 0.88
time (sec) N/A 0.675 1.844 0.044 0. 0. 0. 0. 96.898




















Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 86 100 0 0 0 0 73
normalized size 1 1. 0.99 1.15 0. 0. 0. 0. 0.84
time (sec) N/A 0.062 0.085 0. 0. 0. 0. 0. 10.454




















Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 87 106 0 0 0 0 75
normalized size 1 1. 1. 1.22 0. 0. 0. 0. 0.86
time (sec) N/A 0.162 0.096 0.048 0. 0. 0. 0. 37.32




















Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 89 106 0 0 0 0 75
normalized size 1 1. 1.02 1.22 0. 0. 0. 0. 0.86
time (sec) N/A 0.162 0.102 0.044 0. 0. 0. 0. 37.482




















Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 88 108 0 0 0 0 73
normalized size 1 1. 1. 1.23 0. 0. 0. 0. 0.83
time (sec) N/A 0.171 0.093 0.041 0. 0. 0. 0. 54.8




















Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 12 17 0 0 0 0 14
normalized size 1 1. 1. 1.42 0. 0. 0. 0. 1.17
time (sec) N/A 0.025 0.033 0.043 0. 0. 0. 0. 5.225




















Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 58 14 0 0 0 0 12
normalized size 1 1. 5.8 1.4 0. 0. 0. 0. 1.2
time (sec) N/A 0.027 0.051 0.038 0. 0. 0. 0. 5.249




















Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 12 17 0 0 0 0 14
normalized size 1 1. 1. 1.42 0. 0. 0. 0. 1.17
time (sec) N/A 0.025 0.031 0.025 0. 0. 0. 0. 5.239




















Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 10 10 0 0 73 0 12
normalized size 1 1. 1. 1. 0. 0. 7.3 0. 1.2
time (sec) N/A 0.023 0.032 0.03 0. 0. 33.988 0. 4.955




















Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 18 14 0 0 0 0 14
normalized size 1 1. 1.5 1.17 0. 0. 0. 0. 1.17
time (sec) N/A 0.023 0.033 0.037 0. 0. 0. 0. 4.947




















Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 12 13 0 0 0 0 12
normalized size 1 1. 1. 1.08 0. 0. 0. 0. 1.
time (sec) N/A 0.027 0.03 0.035 0. 0. 0. 0. 8.287




















Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 8 8 26 8 22 95 22 28 8
normalized size 1 1. 3.25 1. 2.75 11.88 2.75 3.5 1.
time (sec) N/A 0.008 0.009 0.052 1.542 0.25 8.932 0.266 2.775




















Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 20 16 0 0 0 0 12
normalized size 1 1. 1.67 1.33 0. 0. 0. 0. 1.
time (sec) N/A 0.026 0.035 0.028 0. 0. 0. 0. 5.282




















Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 16 11 0 0 0 0 10
normalized size 1 1. 1.6 1.1 0. 0. 0. 0. 1.
time (sec) N/A 0.028 0.045 0.031 0. 0. 0. 0. 5.387




















Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 20 16 0 0 0 0 12
normalized size 1 1. 1.67 1.33 0. 0. 0. 0. 1.
time (sec) N/A 0.026 0.037 0.062 0. 0. 0. 0. 5.404




















Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 19 20 0 0 0 0 48
normalized size 1 1. 0.37 0.39 0. 0. 0. 0. 0.94
time (sec) N/A 0.031 0.029 0.102 0. 0. 0. 0. 5.536




















Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 17 15 0 0 0 0 46
normalized size 1 1. 0.35 0.31 0. 0. 0. 0. 0.94
time (sec) N/A 0.033 0.042 0.057 0. 0. 0. 0. 5.19




















Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 19 20 0 0 0 0 48
normalized size 1 1. 0.37 0.39 0. 0. 0. 0. 0.94
time (sec) N/A 0.032 0.029 0.022 0. 0. 0. 0. 5.582




















Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 8 8 8 8 9 46 8 9 8
normalized size 1 1. 1. 1. 1.12 5.75 1. 1.12 1.
time (sec) N/A 0.008 0.007 0.031 1.529 0.245 10.548 0.225 2.524




















Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 19 15 0 0 0 0 42
normalized size 1 1. 0.4 0.32 0. 0. 0. 0. 0.89
time (sec) N/A 0.029 0.029 0.034 0. 0. 0. 0. 4.878




















Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 19 14 0 0 0 0 12
normalized size 1 1. 1.9 1.4 0. 0. 0. 0. 1.2
time (sec) N/A 0.023 0.04 0.036 0. 0. 0. 0. 4.99




















Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 10 10 10 10 0 0 76 0 12
normalized size 1 1. 1. 1. 0. 0. 7.6 0. 1.2
time (sec) N/A 0.023 0.034 0.009 0. 0. 33.279 0. 4.427




















Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 25 0 0 0 0 20
normalized size 1 1. 1. 1.25 0. 0. 0. 0. 1.
time (sec) N/A 0.026 0.033 0.023 0. 0. 0. 0. 5.037




















Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 15 0 0 0 0 14
normalized size 1 1. 1. 0.94 0. 0. 0. 0. 0.88
time (sec) N/A 0.026 0.039 0.03 0. 0. 0. 0. 4.935




















Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 25 0 0 0 0 20
normalized size 1 1. 1. 1.25 0. 0. 0. 0. 1.
time (sec) N/A 0.03 0.034 0.052 0. 0. 0. 0. 4.956




















Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 43 0 0 0 0 31
normalized size 1 1. 1. 1.34 0. 0. 0. 0. 0.97
time (sec) N/A 0.046 0.033 0.046 0. 0. 0. 0. 8.694




















Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 30 34 0 0 0 0 29
normalized size 1 1. 1. 1.13 0. 0. 0. 0. 0.97
time (sec) N/A 0.051 0.043 0.043 0. 0. 0. 0. 8.665




















Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 43 0 0 0 0 31
normalized size 1 1. 1. 1.34 0. 0. 0. 0. 0.97
time (sec) N/A 0.047 0.031 0.037 0. 0. 0. 0. 8.611




















Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A C F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 30 30 0 0 75 0 41
normalized size 1 1. 1.2 1.2 0. 0. 3. 0. 1.64
time (sec) N/A 0.032 0.038 0.029 0. 0. 33.077 0. 5.252




















Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 34 0 0 0 0 31
normalized size 1 1. 1. 1.06 0. 0. 0. 0. 0.97
time (sec) N/A 0.044 0.03 0.035 0. 0. 0. 0. 8.316




















Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 47 28 0 0 0 0 12
normalized size 1 1. 3.92 2.33 0. 0. 0. 0. 1.
time (sec) N/A 0.024 0.038 0.032 0. 0. 0. 0. 6.416




















Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 40 26 22 46 0 0 22
normalized size 1 1. 1.38 0.9 0.76 1.59 0. 0. 0.76
time (sec) N/A 0.011 0.019 0.013 1.545 0.239 0. 0. 2.701




















Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 40 32 0 0 0 0 29
normalized size 1 1. 1.25 1. 0. 0. 0. 0. 0.91
time (sec) N/A 0.047 0.037 0.031 0. 0. 0. 0. 8.653




















Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 36 27 0 0 0 0 27
normalized size 1 1. 1.2 0.9 0. 0. 0. 0. 0.9
time (sec) N/A 0.05 0.044 0.032 0. 0. 0. 0. 8.666




















Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 40 32 0 0 0 0 29
normalized size 1 1. 1.25 1. 0. 0. 0. 0. 0.91
time (sec) N/A 0.047 0.034 0.064 0. 0. 0. 0. 8.727




















Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 39 42 0 0 0 0 53
normalized size 1 1. 0.74 0.79 0. 0. 0. 0. 1.
time (sec) N/A 0.034 0.038 0.09 0. 0. 0. 0. 5.697




















Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 37 33 0 0 0 0 51
normalized size 1 1. 0.73 0.65 0. 0. 0. 0. 1.
time (sec) N/A 0.037 0.043 0.06 0. 0. 0. 0. 5.729




















Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 39 42 0 0 0 0 53
normalized size 1 1. 0.74 0.79 0. 0. 0. 0. 1.
time (sec) N/A 0.035 0.034 0.092 0. 0. 0. 0. 5.751




















Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A A A F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 26 24 9 136 0 0 24
normalized size 1 1. 0.93 0.86 0.32 4.86 0. 0. 0.86
time (sec) N/A 0.011 0.017 0.01 1.53 0.234 0. 0. 3.128




















Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 53 33 0 0 0 0 48
normalized size 1 1. 1.08 0.67 0. 0. 0. 0. 0.98
time (sec) N/A 0.031 0.054 0.028 0. 0. 0. 0. 5.453




















Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 39 34 0 0 0 0 31
normalized size 1 1. 1.26 1.1 0. 0. 0. 0. 1.
time (sec) N/A 0.051 0.034 0.03 0. 0. 0. 0. 12.03




















Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 65 30 30 0 0 73 0 42
normalized size 1 1.55 0.71 0.71 0. 0. 1.74 0. 1.
time (sec) N/A 0.04 0.048 0.012 0. 0. 35.229 0. 5.645




















Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 40 37 0 0 0 0 39
normalized size 1 1. 1. 0.92 0. 0. 0. 0. 0.98
time (sec) N/A 0.051 0.035 0.034 0. 0. 0. 0. 8.883




















Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 36 34 0 0 0 0 32
normalized size 1 1. 1. 0.94 0. 0. 0. 0. 0.89
time (sec) N/A 0.053 0.045 0.026 0. 0. 0. 0. 8.847




















Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 40 37 0 0 0 0 39
normalized size 1 1. 1. 0.92 0. 0. 0. 0. 0.98
time (sec) N/A 0.052 0.038 0.035 0. 0. 0. 0. 8.91




















Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 87 106 0 0 0 0 75
normalized size 1 1. 1. 1.22 0. 0. 0. 0. 0.86
time (sec) N/A 0.153 0.094 0.017 0. 0. 0. 0. 29.82




















Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 90 171 0 0 0 0 76
normalized size 1 1. 1. 1.9 0. 0. 0. 0. 0.84
time (sec) N/A 0.163 0.082 0.024 0. 0. 0. 0. 37.923




















Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 88 168 0 0 0 0 75
normalized size 1 1. 1. 1.91 0. 0. 0. 0. 0.85
time (sec) N/A 0.155 0.077 0.02 0. 0. 0. 0. 30.195




















Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 91 110 0 0 0 0 76
normalized size 1 1. 1. 1.21 0. 0. 0. 0. 0.84
time (sec) N/A 0.162 0.072 0.019 0. 0. 0. 0. 37.188




















Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 88 109 0 0 0 0 73
normalized size 1 1. 1. 1.24 0. 0. 0. 0. 0.83
time (sec) N/A 0.16 0.086 0.018 0. 0. 0. 0. 42.163




















Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 89 165 0 0 0 0 73
normalized size 1 1. 1. 1.85 0. 0. 0. 0. 0.82
time (sec) N/A 0.16 0.072 0.025 0. 0. 0. 0. 38.938




















Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 89 166 0 0 0 0 73
normalized size 1 1. 1. 1.87 0. 0. 0. 0. 0.82
time (sec) N/A 0.158 0.072 0.02 0. 0. 0. 0. 40.64




















Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 90 111 0 0 0 0 73
normalized size 1 1. 1. 1.23 0. 0. 0. 0. 0.81
time (sec) N/A 0.161 0.065 0.014 0. 0. 0. 0. 40.103




















Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 194 194 86 158 0 0 0 0 172
normalized size 1 1. 0.44 0.81 0. 0. 0. 0. 0.89
time (sec) N/A 0.271 0.078 0. 0. 0. 0. 0. 38.784




















Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 203 203 89 104 0 0 0 0 177
normalized size 1 1. 0.44 0.51 0. 0. 0. 0. 0.87
time (sec) N/A 0.291 0.068 0.023 0. 0. 0. 0. 42.327




















Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 203 203 89 108 0 0 0 0 180
normalized size 1 1. 0.44 0.53 0. 0. 0. 0. 0.89
time (sec) N/A 0.296 0.08 0.019 0. 0. 0. 0. 42.714




















Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 212 212 92 165 0 0 0 0 189
normalized size 1 1. 0.43 0.78 0. 0. 0. 0. 0.89
time (sec) N/A 0.324 0.065 0.019 0. 0. 0. 0. 55.137




















Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 189 189 89 164 0 0 0 0 162
normalized size 1 1. 0.47 0.87 0. 0. 0. 0. 0.86
time (sec) N/A 0.391 0.074 0.018 0. 0. 0. 0. 76.148




















Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 191 191 90 109 0 0 0 0 162
normalized size 1 1. 0.47 0.57 0. 0. 0. 0. 0.85
time (sec) N/A 0.382 0.076 0.022 0. 0. 0. 0. 75.689




















Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 194 194 92 111 0 0 0 0 165
normalized size 1 1. 0.47 0.57 0. 0. 0. 0. 0.85
time (sec) N/A 0.394 0.079 0.017 0. 0. 0. 0. 99.842




















Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 198 198 93 167 0 0 0 0 167
normalized size 1 1. 0.47 0.84 0. 0. 0. 0. 0.84
time (sec) N/A 0.396 0.065 0.017 0. 0. 0. 0. 93.126




















Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 87 106 0 0 0 0 75
normalized size 1 1. 1. 1.22 0. 0. 0. 0. 0.86
time (sec) N/A 0.151 0.085 0.017 0. 0. 0. 0. 31.343




















Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 90 171 0 0 0 0 76
normalized size 1 1. 1. 1.9 0. 0. 0. 0. 0.84
time (sec) N/A 0.159 0.069 0.025 0. 0. 0. 0. 39.135




















Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 88 168 0 0 0 0 75
normalized size 1 1. 1. 1.91 0. 0. 0. 0. 0.85
time (sec) N/A 0.15 0.07 0.018 0. 0. 0. 0. 31.364




















Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 91 110 0 0 0 0 76
normalized size 1 1. 1. 1.21 0. 0. 0. 0. 0.84
time (sec) N/A 0.158 0.063 0.016 0. 0. 0. 0. 37.582




















Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 88 164 0 0 0 0 73
normalized size 1 1. 1. 1.86 0. 0. 0. 0. 0.83
time (sec) N/A 0.159 0.083 0.019 0. 0. 0. 0. 42.265




















Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 89 110 0 0 0 0 73
normalized size 1 1. 1. 1.24 0. 0. 0. 0. 0.82
time (sec) N/A 0.156 0.069 0.024 0. 0. 0. 0. 39.08




















Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 89 110 0 0 0 0 73
normalized size 1 1. 1. 1.24 0. 0. 0. 0. 0.82
time (sec) N/A 0.157 0.07 0.021 0. 0. 0. 0. 40.807




















Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 90 167 0 0 0 0 73
normalized size 1 1. 1. 1.86 0. 0. 0. 0. 0.81
time (sec) N/A 0.156 0.062 0.016 0. 0. 0. 0. 39.315




















Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 204 204 86 101 0 0 0 0 168
normalized size 1 1. 0.42 0.5 0. 0. 0. 0. 0.82
time (sec) N/A 0.276 0.082 0. 0. 0. 0. 0. 36.831




















Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 214 214 89 161 0 0 0 0 177
normalized size 1 1. 0.42 0.75 0. 0. 0. 0. 0.83
time (sec) N/A 0.299 0.068 0.024 0. 0. 0. 0. 40.403




















Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 214 214 89 162 0 0 0 0 180
normalized size 1 1. 0.42 0.76 0. 0. 0. 0. 0.84
time (sec) N/A 0.304 0.077 0.019 0. 0. 0. 0. 41.247




















Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 222 222 92 111 0 0 0 0 185
normalized size 1 1. 0.41 0.5 0. 0. 0. 0. 0.83
time (sec) N/A 0.326 0.063 0.02 0. 0. 0. 0. 52.471




















Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 189 189 89 164 0 0 0 0 162
normalized size 1 1. 0.47 0.87 0. 0. 0. 0. 0.86
time (sec) N/A 0.387 0.08 0.017 0. 0. 0. 0. 74.586




















Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 191 191 90 109 0 0 0 0 162
normalized size 1 1. 0.47 0.57 0. 0. 0. 0. 0.85
time (sec) N/A 0.375 0.067 0.022 0. 0. 0. 0. 75.267




















Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 194 194 92 111 0 0 0 0 165
normalized size 1 1. 0.47 0.57 0. 0. 0. 0. 0.85
time (sec) N/A 0.395 0.071 0.018 0. 0. 0. 0. 97.956




















Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 198 198 93 167 0 0 0 0 167
normalized size 1 1. 0.47 0.84 0. 0. 0. 0. 0.84
time (sec) N/A 0.397 0.064 0.018 0. 0. 0. 0. 94.77




















Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 37 38 0 0 0 0 75
normalized size 1 1. 0.47 0.49 0. 0. 0. 0. 0.96
time (sec) N/A 0.054 0.044 0.032 0. 0. 0. 0. 8.781




















Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 40 38 0 0 0 0 32
normalized size 1 1. 1.03 0.97 0. 0. 0. 0. 0.82
time (sec) N/A 0.073 0.056 0.032 0. 0. 0. 0. 15.894




















Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 47 53 0 0 0 0 53
normalized size 1 1. 0.77 0.87 0. 0. 0. 0. 0.87
time (sec) N/A 0.043 0.05 0.028 0. 0. 0. 0. 8.127




















Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 6 6 27 25 0 0 0 0 5
normalized size 1 1. 4.5 4.17 0. 0. 0. 0. 0.83
time (sec) N/A 0.025 0.036 0.025 0. 0. 0. 0. 6.948




















Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A C F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 24 28 0 0 0 0 20
normalized size 1 1. 1.04 1.22 0. 0. 0. 0. 0.87
time (sec) N/A 0.097 0.039 0.028 0. 0. 0. 0. 27.947




















Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 182 182 37 37 0 0 0 0 175
normalized size 1 1. 0.2 0.2 0. 0. 0. 0. 0.96
time (sec) N/A 0.253 0.035 0. 0. 0. 0. 0. 32.489




















Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 35 37 0 0 0 0 19
normalized size 1 1. 1.84 1.95 0. 0. 0. 0. 1.
time (sec) N/A 0.026 0.035 0.027 0. 0. 0. 0. 5.265




















Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A F F F F F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 92 0 0 0 0 0 87
normalized size 1 1. 0.97 0. 0. 0. 0. 0. 0.92
time (sec) N/A 0.297 0.414 0.319 0. 0. 0. 0. 23.694




















Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A F F F F F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 92 0 0 0 0 0 85
normalized size 1 1. 0.98 0. 0. 0. 0. 0. 0.9
time (sec) N/A 0.258 0.358 0.212 0. 0. 0. 0. 38.045




















Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A F F F F F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 478 478 94 0 0 0 0 0 425
normalized size 1 1. 0.2 0. 0. 0. 0. 0. 0.89
time (sec) N/A 1.102 0.358 0.203 0. 0. 0. 0. 159.989




















Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A F F F F F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 215 215 94 0 0 0 0 0 185
normalized size 1 1. 0.44 0. 0. 0. 0. 0. 0.86
time (sec) N/A 0.662 0.314 0.137 0. 0. 0. 0. 82.535




















Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A C C F F F F F A
verified N/A NO NO TBD TBD TBD TBD TBD TBD
size 62 23 122 0 0 0 0 0 15
normalized size 1 0.37 1.97 0. 0. 0. 0. 0. 0.24
time (sec) N/A 0.035 0.194 0.053 0. 0. 0. 0. 6.14




















Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 48 117 0 0 0 0 41
normalized size 1 1. 1.04 2.54 0. 0. 0. 0. 0.89
time (sec) N/A 0.099 0.107 0.245 0. 0. 0. 0. 15.727




















Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A B F F F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 47 47 81 207 0 0 0 0 66
normalized size 1 1. 1.72 4.4 0. 0. 0. 0. 1.4
time (sec) N/A 0.134 0.21 0.601 0. 0. 0. 0. 15.151




















Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 129 129 135 0 0 0 0 0 92
normalized size 1 1. 1.05 0. 0. 0. 0. 0. 0.71
time (sec) N/A 0.06 0.173 0.036 0. 0. 0. 0. 73.971




















Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 120 120 135 0 0 0 0 0 88
normalized size 1 1. 1.12 0. 0. 0. 0. 0. 0.73
time (sec) N/A 0.055 0.196 0.076 0. 0. 0. 0. 73.619




















Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 129 129 144 0 0 0 0 0 88
normalized size 1 1. 1.12 0. 0. 0. 0. 0. 0.68
time (sec) N/A 0.069 0.232 0.055 0. 0. 0. 0. 73.72




















Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 124 124 145 0 0 0 0 0 85
normalized size 1 1. 1.17 0. 0. 0. 0. 0. 0.69
time (sec) N/A 0.072 0.218 0.057 0. 0. 0. 0. 76.199




















Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 120 120 155 0 0 0 0 0 122
normalized size 1 1. 1.29 0. 0. 0. 0. 0. 1.02
time (sec) N/A 0.065 0.23 0.067 0. 0. 0. 0. 46.645




















Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 120 120 155 0 0 0 0 0 119
normalized size 1 1. 1.29 0. 0. 0. 0. 0. 0.99
time (sec) N/A 0.061 0.249 0.063 0. 0. 0. 0. 45.944




















Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 120 120 165 0 0 0 0 0 116
normalized size 1 1. 1.38 0. 0. 0. 0. 0. 0.97
time (sec) N/A 0.072 0.237 0.074 0. 0. 0. 0. 52.765




















Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 124 124 162 0 0 0 0 0 112
normalized size 1 1. 1.31 0. 0. 0. 0. 0. 0.9
time (sec) N/A 0.073 0.247 0.064 0. 0. 0. 0. 54.209




















Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F A F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 61 61 127 0 0 139 0 0 168
normalized size 1 1. 2.08 0. 0. 2.28 0. 0. 2.75
time (sec) N/A 0.034 0.211 0.095 0. 2.701 0. 0. 50.299




















Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F A F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 61 61 127 0 0 332 0 0 185
normalized size 1 1. 2.08 0. 0. 5.44 0. 0. 3.03
time (sec) N/A 0.033 0.222 0.036 0. 2.77 0. 0. 51.136




















Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F A F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 77 77 132 0 0 1 0 0 170
normalized size 1 1. 1.71 0. 0. 0.01 0. 0. 2.21
time (sec) N/A 0.046 0.25 0.06 0. 9.332 0. 0. 57.179




















Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F A F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 79 79 137 0 0 1 0 0 187
normalized size 1 1. 1.73 0. 0. 0.01 0. 0. 2.37
time (sec) N/A 0.05 0.239 0.054 0. 9.122 0. 0. 65.557




















Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 85 85 157 0 0 0 0 0 231
normalized size 1 1. 1.85 0. 0. 0. 0. 0. 2.72
time (sec) N/A 0.054 0.27 0.063 0. 0. 0. 0. 90.765




















Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 85 85 157 0 0 0 0 0 248
normalized size 1 1. 1.85 0. 0. 0. 0. 0. 2.92
time (sec) N/A 0.049 0.235 0.059 0. 0. 0. 0. 96.136




















Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 101 101 163 0 0 0 0 0 233
normalized size 1 1. 1.61 0. 0. 0. 0. 0. 2.31
time (sec) N/A 0.068 0.251 0.063 0. 0. 0. 0. 93.729




















Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 103 103 168 0 0 0 0 0 250
normalized size 1 1. 1.63 0. 0. 0. 0. 0. 2.43
time (sec) N/A 0.067 0.252 0.059 0. 0. 0. 0. 107.999




















Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F A F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 53 53 115 0 0 124 0 0 150
normalized size 1 1. 2.17 0. 0. 2.34 0. 0. 2.83
time (sec) N/A 0.028 0.228 0.083 0. 2.4 0. 0. 45.86




















Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 362 362 431 0 0 0 0 0 0
normalized size 1 1. 1.19 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.684 1.105 0.097 0. 0. 0. 0. 0.




















Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 302 302 435 0 0 0 0 0 270
normalized size 1 1. 1.44 0. 0. 0. 0. 0. 0.89
time (sec) N/A 0.581 1.112 0.085 0. 0. 0. 0. 98.333




















Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 244 244 161 0 0 0 0 0 0
normalized size 1 1. 0.66 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.455 0.25 0.06 0. 0. 0. 0. 0.




















Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 199 199 160 0 0 0 0 0 172
normalized size 1 1. 0.8 0. 0. 0. 0. 0. 0.86
time (sec) N/A 0.445 0.25 0.075 0. 0. 0. 0. 82.759




















Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 167 167 160 0 0 0 0 0 146
normalized size 1 1. 0.96 0. 0. 0. 0. 0. 0.87
time (sec) N/A 0.347 0.088 0.054 0. 0. 0. 0. 58.21




















Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 152 152 161 0 0 0 0 0 131
normalized size 1 1. 1.06 0. 0. 0. 0. 0. 0.86
time (sec) N/A 0.365 0.09 0.059 0. 0. 0. 0. 66.326




















Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 233 233 339 0 0 0 0 0 0
normalized size 1 1. 1.45 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.486 0.548 0.06 0. 0. 0. 0. 0.




















Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 254 254 342 0 0 0 0 0 223
normalized size 1 1. 1.35 0. 0. 0. 0. 0. 0.88
time (sec) N/A 0.476 0.511 0.059 0. 0. 0. 0. 88.924




















Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 274 274 404 0 0 0 0 0 0
normalized size 1 1. 1.47 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.965 1.625 0.059 0. 0. 0. 0. 0.




















Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F(-1) F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 304 304 408 0 0 0 0 0 277
normalized size 1 1. 1.34 0. 0. 0. 0. 0. 0.91
time (sec) N/A 0.874 1.662 0.059 0. 0. 0. 0. 169.644




















Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 340 340 436 0 0 0 0 0 0
normalized size 1 1. 1.28 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.772 0.64 0.069 0. 0. 0. 0. 0.




















Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 279 279 439 0 0 0 0 0 245
normalized size 1 1. 1.57 0. 0. 0. 0. 0. 0.88
time (sec) N/A 0.707 0.632 0.066 0. 0. 0. 0. 107.621




















Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 309 309 320 0 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.618 0.294 0.065 0. 0. 0. 0. 0.




















Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 278 278 322 0 0 0 0 0 233
normalized size 1 1. 1.16 0. 0. 0. 0. 0. 0.84
time (sec) N/A 0.605 0.282 0.064 0. 0. 0. 0. 106.984




















Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 336 336 358 0 0 0 0 0 0
normalized size 1 1. 1.07 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.718 0.984 0.064 0. 0. 0. 0. 0.




















Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F(-2) F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 292 292 340 0 0 0 0 0 250
normalized size 1 1. 1.16 0. 0. 0. 0. 0. 0.86
time (sec) N/A 0.646 0.812 0.065 0. 0. 0. 0. 113.161




















Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F(-2) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 314 314 480 0 0 0 0 0 0
normalized size 1 1. 1.53 0. 0. 0. 0. 0. 0.
time (sec) N/A 1.04 0.972 0.065 0. 0. 0. 0. 0.




















Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F(-1) F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 345 345 485 0 0 0 0 0 303
normalized size 1 1. 1.41 0. 0. 0. 0. 0. 0.88
time (sec) N/A 0.973 1.031 0.064 0. 0. 0. 0. 173.819




















Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F(-1) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 371 371 634 0 0 0 0 0 0
normalized size 1 1. 1.71 0. 0. 0. 0. 0. 0.
time (sec) N/A 1.432 2.301 0.065 0. 0. 0. 0. 0.




















Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C F F F(-1) F(-1) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 419 419 637 0 0 0 0 0 0
normalized size 1 1. 1.52 0. 0. 0. 0. 0. 0.
time (sec) N/A 1.245 2.388 0.066 0. 0. 0. 0. 0.




















Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B F F F F(-1) F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 79 79 172 0 0 0 0 0 61
normalized size 1 1. 2.18 0. 0. 0. 0. 0. 0.77
time (sec) N/A 0.107 0.349 0.109 0. 0. 0. 0. 29.434




















Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A F F F F(-1) F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 296 296 136 0 0 0 0 0 0
normalized size 1 1. 0.46 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.639 0.098 0.072 0. 0. 0. 0. 0.




















Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A F F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 176 176 106 0 0 0 88 0 160
normalized size 1 1. 0.6 0. 0. 0. 0.5 0. 0.91
time (sec) N/A 0.263 0.064 0.061 0. 0. 88.489 0. 37.036




















Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A F F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 85 75 0 0 0 53 0 73
normalized size 1 0.91 0.81 0. 0. 0. 0.57 0. 0.78
time (sec) N/A 0.096 0.03 0.044 0. 0. 39.935 0. 12.757




















Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A F F F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 44 0 0 0 22 0 34
normalized size 1 1. 1. 0. 0. 0. 0.5 0. 0.77
time (sec) N/A 0.025 0.009 0.001 0. 0. 9.094 0. 4.911




















Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B F F F F(-1) F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 57 57 162 0 0 0 0 0 42
normalized size 1 1. 2.84 0. 0. 0. 0. 0. 0.74
time (sec) N/A 0.071 0.307 0.06 0. 0. 0. 0. 29.904




















Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B F F F F(-1) F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 57 57 162 0 0 0 0 0 44
normalized size 1 1. 2.84 0. 0. 0. 0. 0. 0.77
time (sec) N/A 0.07 0.319 0.075 0. 0. 0. 0. 27.656




















Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A B F F F F(-1) F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 57 57 162 0 0 0 0 0 44
normalized size 1 1. 2.84 0. 0. 0. 0. 0. 0.77
time (sec) N/A 0.069 0.384 0.111 0. 0. 0. 0. 27.715




















Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F A F(-1) F A
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 53 53 594 71 0 123 0 0 44
normalized size 1 1. 11.21 1.34 0. 2.32 0. 0. 0.83
time (sec) N/A 0.058 2.4 0.005 0. 0.277 0. 0. 13.151










2.2 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [326] had the largest ratio of [ 0.4286 ]

Table 1: Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 2 1 1. 17 0.059







2 A 2 1 1. 17 0.059







3 A 2 1 1. 17 0.059







4 A 2 1 1. 15 0.067







5 A 2 2 1. 17 0.118







6 A 2 2 1. 17 0.118







7 A 3 3 1. 17 0.176







8 A 2 1 1. 19 0.053







9 A 2 1 1. 19 0.053







10 A 2 1 1. 17 0.059







11 A 3 2 1. 19 0.105







12 A 4 3 1. 19 0.158







13 A 3 3 1. 19 0.158







14 A 2 1 1. 19 0.053







15 A 2 1 1. 19 0.053







16 A 2 1 1. 17 0.059







17 A 3 2 1. 19 0.105







18 A 4 3 1. 19 0.158







19 A 5 4 1. 19 0.21







20 A 3 2 1. 19 0.105







21 A 3 2 1. 19 0.105







22 A 3 2 1. 19 0.105







23 A 2 2 1. 17 0.118







24 A 3 2 1. 19 0.105







25 A 4 3 1. 19 0.158







26 A 5 4 1. 19 0.21







27 A 4 3 1. 19 0.158







28 A 4 3 1. 19 0.158







29 A 4 3 1. 19 0.158







30 A 4 3 1. 19 0.158







31 A 2 2 1. 17 0.118







32 A 4 3 1. 19 0.158







33 A 5 4 1. 19 0.21







34 A 6 4 1. 19 0.21







35 A 5 4 1. 19 0.21







36 A 5 4 1. 19 0.21







37 A 5 4 1. 19 0.21







38 A 3 3 1. 19 0.158







39 A 3 3 1. 17 0.176







40 A 5 4 1. 19 0.21







41 A 6 4 1. 19 0.21







42 A 7 4 1. 19 0.21







43 A 3 3 1. 15 0.2







44 A 5 3 1. 15 0.2







45 A 6 6 1. 21 0.286







46 A 5 5 1. 21 0.238







47 A 4 4 1. 19 0.21







48 A 3 3 1. 11 0.273







49 A 5 5 1. 21 0.238







50 A 3 3 1. 21 0.143







51 A 4 4 1. 21 0.19







52 A 6 5 1. 21 0.238







53 A 7 6 1. 21 0.286







54 A 6 5 1. 21 0.238







55 A 5 4 1. 19 0.21







56 A 4 3 1. 11 0.273







57 A 6 6 1. 21 0.286







58 A 6 6 1. 21 0.286







59 A 4 3 1. 21 0.143







60 A 5 4 1. 21 0.19







61 A 7 5 1. 21 0.238







62 A 8 6 1. 21 0.286







63 A 7 5 1. 21 0.238







64 A 6 4 1. 19 0.21







65 A 5 3 1. 11 0.273







66 A 7 7 1. 21 0.333







67 A 7 7 1. 21 0.333







68 A 7 7 1. 21 0.333







69 A 5 3 1. 21 0.143







70 A 6 4 1. 21 0.19







71 A 4 4 1. 19 0.21







72 A 4 4 1. 17 0.235







73 A 4 4 1. 21 0.19







74 A 5 5 1. 21 0.238







75 A 4 4 1. 21 0.19







76 A 3 3 1. 19 0.158







77 A 2 2 1. 11 0.182







78 A 2 2 1. 21 0.095







79 A 3 3 1. 21 0.143







80 A 5 5 1. 21 0.238







81 A 6 5 1. 21 0.238







82 A 5 5 1. 21 0.238







83 A 4 4 1.17 21 0.19







84 A 3 3 1. 19 0.158







85 A 1 1 1. 11 0.091







86 A 3 3 1. 21 0.143







87 A 5 5 1. 21 0.238







88 A 6 5 1. 21 0.238







89 A 6 6 1. 21 0.286







90 A 5 5 1. 21 0.238







91 A 4 4 1. 21 0.19







92 A 2 2 1. 19 0.105







93 A 2 2 1. 11 0.182







94 A 5 5 1. 21 0.238







95 A 6 5 1. 21 0.238







96 A 7 5 1. 21 0.238







97 A 5 3 1. 21 0.143







98 A 4 3 1. 21 0.143







99 A 3 3 1. 19 0.158







100 A 2 2 1. 11 0.182







101 A 3 3 1. 21 0.143







102 A 3 3 1. 21 0.143







103 A 4 4 1. 21 0.19







104 A 5 4 1. 21 0.19







105 A 2 2 1. 26 0.077







106 A 2 2 1. 19 0.105







107 A 2 2 1. 21 0.095







108 A 2 2 1. 15 0.133







109 A 8 8 1. 24 0.333







110 A 7 7 1. 24 0.292







111 A 6 6 1. 22 0.273







112 A 6 6 1. 24 0.25







113 A 6 6 1. 24 0.25







114 A 8 8 1. 24 0.333







115 A 9 8 1. 24 0.333







116 A 9 8 1. 24 0.333







117 A 8 7 1. 24 0.292







118 A 7 6 1. 22 0.273







119 A 7 7 1. 24 0.292







120 A 7 7 1. 24 0.292







121 A 9 9 1. 24 0.375







122 A 8 7 1. 24 0.292







123 A 7 7 1. 24 0.292







124 A 6 6 1. 24 0.25







125 A 5 5 1. 22 0.227







126 A 1 1 1. 24 0.042







127 A 7 7 1. 24 0.292







128 A 8 8 1. 24 0.333







129 A 7 7 1. 24 0.292







130 A 6 6 1. 24 0.25







131 A 5 5 1. 22 0.227







132 A 7 7 1. 24 0.292







133 A 8 8 1. 24 0.333







134 A 9 8 1. 24 0.333







135 A 8 8 1. 24 0.333







136 A 7 7 1. 24 0.292







137 A 2 2 1. 24 0.083







138 A 6 6 1. 22 0.273







139 A 8 8 1. 24 0.333







140 A 9 8 1. 24 0.333







141 A 1 1 1. 26 0.038







142 A 1 1 1. 24 0.042







143 A 1 1 1. 23 0.043







144 A 1 1 1. 24 0.042







145 A 1 1 1. 22 0.045







146 A 1 1 1. 19 0.053







147 A 1 1 1. 19 0.053







148 A 1 1 1. 24 0.042







149 A 1 1 1. 22 0.045







150 A 1 1 1. 27 0.037







151 A 1 1 1. 28 0.036







152 A 1 1 1. 29 0.034







153 A 1 1 1. 30 0.033







154 A 1 1 1. 26 0.038







155 A 1 1 1. 26 0.038







156 A 1 1 1. 23 0.043







157 A 1 1 1. 23 0.043







158 A 1 1 1. 23 0.043







159 A 1 1 1. 23 0.043







160 A 1 1 1. 17 0.059







161 A 1 1 1. 21 0.048







162 A 1 1 1. 21 0.048







163 A 6 6 1. 23 0.261







164 A 5 5 1. 23 0.217







165 A 4 4 1. 23 0.174







166 A 1 1 1. 23 0.043







167 A 4 4 1. 23 0.174







168 A 5 5 1. 23 0.217







169 A 7 6 1. 23 0.261







170 A 6 6 1. 23 0.261







171 A 5 5 1. 23 0.217







172 A 5 5 1. 23 0.217







173 A 4 4 1. 23 0.174







174 A 5 5 1. 23 0.217







175 A 5 5 1. 23 0.217







176 A 3 3 1. 23 0.13







177 A 2 1 1. 23 0.043







178 A 4 4 1. 23 0.174







179 A 5 5 1. 23 0.217







180 A 4 4 1. 21 0.19







181 A 1 1 1. 23 0.043







182 A 1 1 1. 23 0.043







183 A 1 1 1. 23 0.043







184 A 1 1 1. 21 0.048







185 A 1 1 1. 21 0.048







186 A 1 1 1. 21 0.048







187 A 1 1 1. 23 0.043







188 A 4 4 1. 21 0.19







189 A 3 3 1. 23 0.13







190 A 3 3 1. 23 0.13







191 A 3 3 1. 23 0.13







192 A 4 4 1. 21 0.19







193 A 4 4 1. 21 0.19







194 A 4 4 1. 23 0.174







195 A 2 2 1. 23 0.087







196 A 7 6 1. 23 0.261







197 A 6 6 1. 23 0.261







198 A 5 5 1. 23 0.217







199 A 4 4 1. 23 0.174







200 A 1 1 1. 23 0.043







201 A 6 6 1. 23 0.261







202 A 4 4 1. 23 0.174







203 A 5 5 1. 23 0.217







204 A 7 6 1. 23 0.261







205 A 6 6 1. 23 0.261







206 A 5 5 1. 23 0.217







207 A 1 1 1. 23 0.043







208 A 6 6 1. 23 0.261







209 A 4 4 1. 23 0.174







210 A 5 5 1. 23 0.217







211 A 1 1 1. 23 0.043







212 A 3 2 1. 24 0.083







213 A 3 2 1. 24 0.083







214 A 3 2 1. 25 0.08







215 A 1 1 1. 23 0.043







216 A 1 1 1. 23 0.043







217 A 1 1 1. 23 0.043







218 A 2 2 1. 23 0.087







219 A 1 1 1. 21 0.048







220 A 1 1 1. 23 0.043







221 A 2 2 1. 23 0.087







222 A 1 1 1. 23 0.043







223 A 1 1 1. 23 0.043







224 A 1 1 1. 23 0.043







225 A 1 1 1. 21 0.048







226 A 1 1 1. 21 0.048







227 A 1 1 1. 21 0.048







228 A 2 2 1. 21 0.095







229 A 1 1 1. 19 0.053







230 A 1 1 1. 21 0.048







231 A 2 2 1. 21 0.095







232 A 1 1 1. 21 0.048







233 A 1 1 1. 21 0.048







234 A 1 1 1. 21 0.048







235 A 2 2 1. 21 0.095







236 A 2 2 1. 21 0.095







237 A 2 2 1. 21 0.095







238 A 2 2 1. 21 0.095







239 A 2 2 1. 19 0.105







240 A 1 1 1. 21 0.048







241 A 2 2 1. 21 0.095







242 A 2 2 1. 21 0.095







243 A 2 2 1. 21 0.095







244 A 2 2 1. 21 0.095







245 A 1 1 1. 23 0.043







246 A 1 1 1. 23 0.043







247 A 1 1 1. 23 0.043







248 A 2 2 1. 23 0.087







249 A 1 1 1. 21 0.048







250 A 2 2 1. 23 0.087







251 A 2 2 1.55 23 0.087







252 A 2 2 1. 23 0.087







253 A 2 2 1. 23 0.087







254 A 2 2 1. 23 0.087







255 A 3 3 1. 24 0.125







256 A 3 3 1. 27 0.111







257 A 3 3 1. 25 0.12







258 A 3 3 1. 28 0.107







259 A 3 3 1. 25 0.12







260 A 3 3 1. 26 0.115







261 A 3 3 1. 26 0.115







262 A 3 3 1. 27 0.111







263 A 4 4 1. 23 0.174







264 A 4 4 1. 26 0.154







265 A 4 4 1. 26 0.154







266 A 4 4 1. 29 0.138







267 A 7 6 1. 24 0.25







268 A 7 6 1. 25 0.24







269 A 7 6 1. 27 0.222







270 A 7 6 1. 28 0.214







271 A 3 3 1. 24 0.125







272 A 3 3 1. 27 0.111







273 A 3 3 1. 25 0.12







274 A 3 3 1. 28 0.107







275 A 3 3 1. 25 0.12







276 A 3 3 1. 26 0.115







277 A 3 3 1. 26 0.115







278 A 3 3 1. 27 0.111







279 A 4 4 1. 23 0.174







280 A 4 4 1. 26 0.154







281 A 4 4 1. 26 0.154







282 A 4 4 1. 29 0.138







283 A 7 6 1. 24 0.25







284 A 7 6 1. 25 0.24







285 A 7 6 1. 27 0.222







286 A 7 6 1. 28 0.214







287 A 1 1 1. 23 0.043







288 A 2 2 1. 23 0.087







289 A 1 1 1. 21 0.048







290 A 1 1 1. 23 0.043







291 A 4 4 1. 28 0.143







292 A 4 4 1. 23 0.174







293 A 1 1 1. 23 0.043







294 A 1 1 1. 59 0.017







295 A 1 1 1. 59 0.017







296 A 4 4 1. 59 0.068







297 A 3 3 1. 59 0.051







298 C 1 1 0.37 21 0.048







299 A 2 2 1. 26 0.077







300 A 1 1 1. 41 0.024







301 A 1 1 1. 21 0.048







302 A 1 1 1. 21 0.048







303 A 1 1 1. 21 0.048







304 A 1 1 1. 23 0.043







305 A 1 1 1. 23 0.043







306 A 1 1 1. 23 0.043







307 A 1 1 1. 23 0.043







308 A 1 1 1. 25 0.04







309 A 1 1 1. 21 0.048







310 A 1 1 1. 21 0.048







311 A 1 1 1. 21 0.048







312 A 1 1 1. 23 0.043







313 A 1 1 1. 25 0.04







314 A 1 1 1. 25 0.04







315 A 1 1 1. 25 0.04







316 A 1 1 1. 27 0.037







317 A 1 1 1. 19 0.053







318 A 13 8 1. 21 0.381







319 A 12 8 1. 21 0.381







320 A 8 7 1. 21 0.333







321 A 8 7 1. 21 0.333







322 A 4 3 1. 21 0.143







323 A 5 4 1. 21 0.19







324 A 7 6 1. 21 0.286







325 A 9 8 1. 21 0.381







326 A 10 9 1. 21 0.429







327 A 10 9 1. 21 0.429







328 A 9 8 1. 21 0.381







329 A 9 8 1. 21 0.381







330 A 9 8 1. 21 0.381







331 A 9 8 1. 21 0.381







332 A 9 8 1. 21 0.381







333 A 9 8 1. 21 0.381







334 A 10 9 1. 21 0.429







335 A 10 9 1. 21 0.429







336 A 11 9 1. 21 0.429







337 A 11 9 1. 21 0.429







338 A 3 2 1. 19 0.105







339 A 5 5 1. 19 0.263







340 A 4 4 1. 19 0.21







341 A 3 3 0.91 17 0.176







342 A 2 2 1. 9 0.222







343 A 2 2 1. 19 0.105







344 A 2 2 1. 19 0.105







345 A 2 2 1. 19 0.105







346 A 1 1 1. 50 0.02